Nuprl Definition : w-loc 11,40

loc(e) == e.1 
latex



clarification:

w-loc(w; e) == e.1 
latex


Definitionst.1
FDL editor aliasesw-loc

origin